Erholungsurlaub nach Aufhebung der Versetzung in den Ruhestand

Wann verfällt der Anspruch auf Erholungsurlaub nach einer Aufhebung der Versetzung in den Ruhestand? Mit dieser Frage hatte sich jetzt das Hamburgische Oberverwaltungsgericht zu befassen:

Nach § 13 Abs. 2 Satz 2 HmbEUrlVO verfällt Erholungsurlaub, der nicht innerhalb von neun