5242 Sankt Johann am Walde