Versetzung in den Ruhestand 31.5.1994