20:15 is usually equivalent to 8:15 civilian time. But, sometimes it might depend on what time or on which clock you have your first beer of the day.