siehe Burg Mildenstein , wobei nicht nachvollziehbar ist, wann
die Burg in Mildenstein umbenannt wurde