Non-combat military operations involving Germany